Computable Jordan Decomposition of Linear Continuous Functionals on C[0;1]

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Computable Jordan Decomposition of Linear Continuous Functionals on $C[0;1]$

By the Riesz representation theorem using the Riemann-Stieltjes integral, linear continuous functionals on the set of continuous functions from the unit interval into the reals can either be characterized by functions of bounded variation from the unit interval into the reals, or by signed measures on the Borel-subsets. Each of these objects has an (even minimal) Jordan decomposition into non-n...

متن کامل

Characterising Weak - Operator Continuous Linear Functionals on B ( H ) constructively

Abstract. Let B(H) be the space of bounded operators on a notnecessarily-separable Hilbert space H . Working within Bishop-style constructive analysis, we prove that certain weak-operator continuous linear functionals on B(H) are finite sums of functionals of the form T 〈Tx, y〉. We also prove that the identification of weakand strong-operator continuous linear functionals on B(H) cannot be esta...

متن کامل

Order continuous linear functionals on non-locally convex Orlicz spaces

The space of all order continuous linear functionals on an Orlicz space L defined by an arbitrary (not necessarily convex) Orlicz function φ is described.

متن کامل

On the Jordan Decomposability for Computable Functions of Bounded Variation

According to Jordan Decomposition Theorem, every real function of bounded variation can be decomposed to a difference of two increasing functions. In this paper we will show, among others, that an effective version of this theorem does not hold for computable function of bounded variation.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Logical Methods in Computer Science

سال: 2014

ISSN: 1860-5974

DOI: 10.2168/lmcs-10(3:13)2014